Complete Boolean algebra

Results: 108



#Item
11Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

Add to Reading List

Source URL: spot.colorado.edu

Language: English - Date: 2010-06-05 10:07:22
12Vaught’s Conjecture and Boolean Algebras Asher M. Kach (Joint with Steffen Lempp) Victoria University of Wellington and University of Connecticut BLAST 2010

Vaught’s Conjecture and Boolean Algebras Asher M. Kach (Joint with Steffen Lempp) Victoria University of Wellington and University of Connecticut BLAST 2010

Add to Reading List

Source URL: spot.colorado.edu

Language: English - Date: 2010-06-06 18:33:19
13Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/

Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/

Add to Reading List

Source URL: cedeela.fr

Language: English - Date: 2015-03-03 04:50:17
14RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem

RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem

Add to Reading List

Source URL: www1.chapman.edu

Language: English - Date: 2004-06-07 10:17:14
15The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen

The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen

Add to Reading List

Source URL: math.chapman.edu

Language: English - Date: 2012-06-15 00:09:09
16CS 170 Algorithms Spring 2009

CS 170 Algorithms Spring 2009

Add to Reading List

Source URL: www-inst.eecs.berkeley.edu

Language: English - Date: 2009-05-04 23:56:17
17Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak

Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2008-11-06 07:52:12
18Superreplication under Volatility Uncertainty for Measurable Claims ∗ Ariel Neufeld

Superreplication under Volatility Uncertainty for Measurable Claims ∗ Ariel Neufeld

Add to Reading List

Source URL: www.math.columbia.edu

Language: English - Date: 2013-04-14 17:16:01
19CCCG 2006, Kingston, Ontario, August 14–16, 2006 Minimizing the Number of Arcs Linking a Permutation of Points in the Plane Stephane Durocher∗ Chris Gray†

CCCG 2006, Kingston, Ontario, August 14–16, 2006 Minimizing the Number of Arcs Linking a Permutation of Points in the Plane Stephane Durocher∗ Chris Gray†

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2008-10-27 22:59:44
20Scheduling and SAT Emmanuel Hebrard Toulouse Outline

Scheduling and SAT Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 02:59:42